((v1 v4 6) (v3 v2 1) (v2 v4 5) (v1 v3 5) (v1 v2 2))
48
((v1 v3) (v4 v2))